Fix documentation of gdk_display_put_event()
authorMichael Catanzaro <mcatanzaro@redhat.com>
Fri, 8 Sep 2023 21:21:33 +0000 (16:21 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 19 Sep 2023 20:32:27 +0000 (16:32 -0400)
commitf6b96186d8f124224a92d8602cef084271906cd5
tree3c8b70a03f056fbf7fbdf7f184cef444f1e394ad
parent5a6074814c9ec826eebb5425f5b19174c9642b0c
Fix documentation of gdk_display_put_event()

This function is deprecated, but we should still document it properly.
It appends, not prepends. This is clear enough from its implementation,
but also we have practical experience with WebKit in:

https://github.com/WebKit/WebKit/pull/8663

Matthias prefers to avoid the prepend, append, start, and end
terminology altogether.
gdk/gdkdisplay.c